dfa example